منابع مشابه
Algèbres de réalisabilité: un programme pour bien ordonner R
Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...
متن کاملUn petit cercle, un grand exemple (دایرهای کوچک، سرمشقی بزرگ )
نام هانری کربن با دو دایره گره خورده است: دایرة ارانوس و دایرة تهران؛ دایرههایی که مطابق منظر کربن، میتوان آنها را بهدرستی رمزی و مثالی خواند. این مقاله به دایرة تهران اختصاص دارد، دایرهای تحقیقی که با حضور اندیشمندانی چند، و با محوریت دو شخصیت از شرق و غرب، علامه سید محمد حسین طباطبایی و هانری کربن، شکل میگرفت. برغم همه مشکلات فنی و فیزیکی ارتباط کلامی، این دو مرد، به خوبی با یکدیگر «مقاب...
متن کامل[Interventions of the maternal and newborn health program based on financing for performance].
Sr. Editor. La política nacional de modernización de la gestión pública tiene por objetivo el orientar, articular e impulsar en todas las entidades públicas, el proceso de modernización hacia una gestión pública para lograr resultados que impacten positivamente en el bienestar del ciudadano y el desarrollo del país (1). En ese sentido, el presupuesto público constituye un instrumento de gestión...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Medicina Clínica
سال: 2021
ISSN: 0025-7753
DOI: 10.1016/j.medcli.2021.03.002